退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在定点逻辑中定义制胜策略
Canavoi, Felix; Grädel, Erich; Leßenich, Simon Robert; Pakusa, Wied;
机译:有限状态和可确定的获胜策略的综合
机译:使用模糊逻辑控制方案定义具有最大功率点跟踪的微电网孤岛运行的控制策略
机译:是否可以在WEAGER LOGIC中定义在预脉冲逻辑中定义的关系
机译:公正游戏中获奖策略的定点特征
机译:定点逻辑,描述性复杂度和随机可满足性。
机译:为什么甚至重新定义的选择逻辑仍可能与公共卫生系统中的护理逻辑相矛盾?
机译:定义定点逻辑中的获胜策略
机译:用于定义可自由编程的顺序逻辑系统的依赖于应用程序的逻辑的过程,用于实现该过程的设备以及用于通过使用由此定义的程序来操作控制系统的设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。